A hierarchy of communication models for Message Sequence Charts
نویسندگان
چکیده
منابع مشابه
A Hierarchy of Communication Models for Message Sequence Charts
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between these processes. This order determines the physical architecture needed for implementing the specified behaviour, such as a FIFO buffer between each of the processes. In a systematic way, we define 50 communication models ...
متن کاملPomsets for Message Sequence Charts
Message sequence charts (MSCs) are a standardised formalism for the specification of the system’s communication behaviour that is widely used by industry. Various extensions to MSCs have recently been standardised by the ITU. This paper treats the extension of MSCs with structural operators that allow the hierarchical composition of MSCs. In particular, we propose a linear-time partial-order se...
متن کاملCausal Message Sequence Charts
Scenario languages based on Message Sequence Charts (MSCs) and related notations have been widely studied in the last decade [14, 13, 2, 9, 5, 12, 8]. The high expressive power of scenarios renders many basic problems concerning these languages undecidable. The most expressive class for which several problems are known to be decidable is one which possesses a behavioral property called “existen...
متن کاملAnalyzing Message Sequence Charts
The ISO standard for MSC provides a useful tool for visualizing communication protocols MSCs present a model for concurrency that is di erent from the model of nite state systems used frequently in au tomated veri cation Thus the MSC model poses new and interesting problems related to automatic veri cation of communication protocols In this paper some of the recent results related to MSCs are s...
متن کاملMessage Sequence Charts
Message sequence charts (MSCs) constitute an attractive visual formalism that is widely used to capture system requirements during the early design stages in domains such as telecommunication software. A version of MSCs called sequence diagrams is one of the behavioral diagram types adopted in the UML. In this chapter we survey MSCs and their extensions. In particular, we discuss high level MSC...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2002
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(02)00022-9